On the Origins of Bisimulation and CoinductionSANGIORGI, Davide.ACM transactions on programming languages and systems. 2009, Vol 31, Num 4, issn 0164-0925, 15.1-15.41Article

Beyond bisimulation : The up-to techniquesSANGIORGI, Davide.Lecture notes in computer science. 2006, pp 161-171, issn 0302-9743, isbn 3-540-36749-7, 1Vol, 11 p.Conference Paper

CONCUR '98 : concurrency theory (Nice, 8-11 September 1998)Sangiorgi, Davide; de Simone, Robert.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64896-8, XI, 655 p, isbn 3-540-64896-8Conference Proceedings

Types in concurrency (Part II)DE NICOLA, Rocco; SANGIORGI, Davide.Acta informatica. 2005, Vol 42, Num 4-5, issn 0001-5903, 162 p.Serial Issue

A partition refinement algorithm for the n-calculusPISTORE, Marco; SANGIORGI, Davide.Information and computation (Print). 2001, Vol 164, Num 2, pp 264-321, issn 0890-5401Article

Ensuring termination by typabilityYUXIN DENG; SANGIORGI, Davide.Information and computation (Print). 2006, Vol 204, Num 7, pp 1045-1082, issn 0890-5401, 38 p.Article

A Hybrid Type System for Lock-Freedom of Mobile ProcessesKOBAYASHI, Naoki; SANGIORGI, Davide.ACM transactions on programming languages and systems. 2010, Vol 32, Num 5, issn 0164-0925, 1745312.1-1745312.49Article

Decompositions of asynchronous systemsMORIN, R.Lecture notes in computer science. 1998, pp 549-564, issn 0302-9743, isbn 3-540-64896-8Conference Paper

From rewrite to bisimulation congruencesSEWELL, P.Lecture notes in computer science. 1998, pp 269-284, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Minimality and separation results on asynchronous mobile processes : Representability theorems by concurrent combinatorsYOSHIDA, N.Lecture notes in computer science. 1998, pp 131-146, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Types in concurrency (Part I)DE NICOLA, Rocco; SANGIORGI, Davide.Acta informatica. 2005, Vol 42, Num 2-3, issn 0001-5903, 147 p.Serial Issue

Concurrency theorySANGIORGI, Davide; DE SIMONE, Robert.Theoretical computer science. 2002, Vol 274, Num 1-2, issn 0304-3975, 278 p.Conference Proceedings

LOCALITE DANS LE π CALCUL ET APPLICATIONS AUX OBJETS DISTRIBUES = LOCALITY IN THE π CALCULUS AND APPLICATIONS TO DISTRIBUTED OBJECTSMerro, Massino; Sangiorgi, Davide.2000, 178 p.Thesis

Asynchronous cellular automata and asynchronous automata for pomsetsKUSKE, D.Lecture notes in computer science. 1998, pp 517-532, issn 0302-9743, isbn 3-540-64896-8Conference Paper

The regular viewpoint on PA-processesLUGIEZ, D; SCHNOEBELEN, P.Lecture notes in computer science. 1998, pp 50-66, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Reasoning about asynchronous communication in dynamically evolving object structuresDE BOER, F. S.Lecture notes in computer science. 1998, pp 285-300, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Priority and maximal progress are completely axiomatisableHERMANNS, H; LOHREY, M.Lecture notes in computer science. 1998, pp 237-252, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Reduction in TLACOHEN, E; LAMPORT, L.Lecture notes in computer science. 1998, pp 317-331, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Abstract games for infinite state processesSTEVENS, P.Lecture notes in computer science. 1998, pp 147-162, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Controlled timed automataDEMICHELIS, F; ZIELONKA, W.Lecture notes in computer science. 1998, pp 455-469, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Stochastic transition systemsDE ALFARO, L.Lecture notes in computer science. 1998, pp 423-438, issn 0302-9743, isbn 3-540-64896-8Conference Paper

It's about time : Real-time logics reviewedHENZINGER, T. A.Lecture notes in computer science. 1998, pp 439-454, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Synthesis of ENI-systems using minimal regionsPIETKIEWICZ-KOUTNY, M.Lecture notes in computer science. 1998, pp 565-580, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Deriving unbounded Petri nets from formal languagesDARONDEAU, P.Lecture notes in computer science. 1998, pp 533-548, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Fibrational semantics of dataflow networksSTARK, E. W.Lecture notes in computer science. 1998, pp 597-612, issn 0302-9743, isbn 3-540-64896-8Conference Paper